Наукова періодика України - НБУВ Національна бібліотека України імені В. І. Вернадського

Простий
пошук

Розширений
пошук

Покажчики

Професійний
пошук

Рубрикатор
НБУВ

Розподілений
пошук

Бази даних

Наукова періодика України - результати пошуку

Книжкові видання та компакт-диски

Журнали та продовжувані видання

Автореферати дисертацій

Реферативна база даних

Наукова періодика України

Тематичний навігатор

Авторитетний файл імен осіб

	Для швидкої роботи та реалізації всіх функціональних можливостей пошукової системи використовуйте браузер "Mozilla Firefox"

Вид пошуку

Повнотекстовий пошук

Знайдено в інших БД:

Книжкові видання та компакт-диски (1)

Реферативна база даних (25)

Список видань за алфавітом назв:

A B C D E F G H I J L M N O P R S T U V W

А Б В Г Ґ Д Е Є Ж З И І К Л М Н О П Р С Т У Ф Х Ц Ч Ш Щ Э Ю Я

Авторський покажчик Покажчик назв публікацій

Пошуковий запит: (<.>A=Акуловский В$<.>)
Загальна кількість знайдених документів : 14 Представлено документи з 1 до 14
1.	Акуловский В. Г. Состав и свойства данных,специфицируемых в композиционных схемах алгоритмов [Електронний ресурс] / В. Г. Акуловский, А. Е. Дорошенко // Проблеми програмування. - 2013. - № 2. - С. 3-12. - Режим доступу: http://nbuv.gov.ua/UJRN/Progr_2013_2_3 Попередній перегляд: Завантажити - 557.623 Kb Зміст випуску Цитування
2.	Акуловский В. Г. Описание параллелизма в алгоритмах информационно-управляющих систем средствами алгебраического аппарата [Електронний ресурс] / В. Г. Акуловский, А. Е. Дорошенко // Проблеми програмування. - 2013. - № 3. - С. 13-21. - Режим доступу: http://nbuv.gov.ua/UJRN/Progr_2013_3_4 Показана возможность описання в рамках алгебры алгоритмов с данными параллельных алгоритмов для класса информационно-управляющих систем. Введены средства синхронизации параллельно выполняемых ветвей алгоритма и продемонстрирована возможность построения производных средств синхронизации на основе введенных. Попередній перегляд: Завантажити - 473.32 Kb Зміст випуску Реферативна БД Цитування
3.	Дорошенко А. Е. Построение и преобразование операций и некоторых алгоритмических конструкций алгебры алгоритмов с данными [Електронний ресурс] / А. Е. Дорошенко, В. Г. Акуловский // Проблеми програмування. - 2011. - № 4. - С. 3-13. - Режим доступу: http://nbuv.gov.ua/UJRN/Progr_2011_4_3 Рассмотрены свойства операций, входящих в сигнатуру алгебры алгоритмов с данными. Показана возможность создавать, в частности с помощью фиксирующих логических условий, производные операции, удобные для различных приложений и учитывающие эффективность реализации на целевом языке программирования. Показана возможность осуществлять оптимизирующие преобразования типичных алгоритмических конструкций. Попередній перегляд: Завантажити - 376.966 Kb Зміст випуску Реферативна БД Цитування
4.	Акуловский В. Г. Алгебра для описания данных в композиционных схемах алгоритмов [Електронний ресурс] / В. Г. Акуловский // Проблеми програмування. - 2012. - № 2-3. - С. 234-240. - Режим доступу: http://nbuv.gov.ua/UJRN/Progr_2012_2-3_30 Попередній перегляд: Завантажити - 353.16 Kb Зміст випуску Цитування
5.	Акуловский В. Г. Согласованное описание алгоритмов в рамках алгебраического аппарата [Електронний ресурс] / В. Г. Акуловский, А. Е. Дорошенко // Проблеми програмування. - 2014. - № 2-3. - С. 29-37. - Режим доступу: http://nbuv.gov.ua/UJRN/Progr_2014_2-3_4 Продемонстрирована (в самом общем случае) возможность согласованного описания потоков управления, данных и информационных связей в процессе разработки алгоритмов средствами трехосновной алгебраической системы (алгебры алгоритмов с данными). Показаны свойства получаемых схем алгоритмов. Попередній перегляд: Завантажити - 500.912 Kb Зміст випуску Реферативна БД Цитування
6.	Акуловский В. Г. Алгебра алгоритмов, базирующаяся на данных [Електронний ресурс] / В. Г. Акуловский // Кибернетика и системный анализ. - 2012. - Т. 48, № 2. - С. 151-166. - Режим доступу: http://nbuv.gov.ua/UJRN/KSA_2012_48_2_15 A system of algorithmic algebras is formed based on a modified Glushkov's computer model. Data are formalized and specified at the input and output of D-operators and thus the formal apparatus is based on data. Some properties of D-operators and of operations that form the signature of algebra are proved and setting up derived D-operators is shown to be possible. Попередній перегляд: Завантажити - 168.72 Kb Зміст випуску Реферативна БД Цитування
7.	Дорошенко А. Е. Алгоритмическое описание взаимодействия алгоритмов с внешними устройствами [Електронний ресурс] / А. Е. Дорошенко, В. Г. Акуловский // Управляющие системы и машины. - 2012. - № 3. - С. 45-53. - Режим доступу: http://nbuv.gov.ua/UJRN/USM_2012_3_7 Алгебра алгоритмов с данными дополнена средствами описания операций ввода-вывода в результате модификации абстрактной модели ЭВМ Глушкова. Возможность описания операций ввода-вывода актуальна для широкого класса систем, интенсивно взаимодействующих с внешними устройствами. Перспективность полученных возможностей показана на примере простейшей системы управления. Попередній перегляд: Завантажити - 406.576 Kb Зміст випуску Реферативна БД Цитування
8.	Акуловский В. Г. Реализация комплексного подхода к описанию алгоритмов информационно-управляющих систем в рамках алгебраического аппарата [Електронний ресурс] / В. Г. Акуловский, А. Е. Дорошенко // Управляющие системы и машины. - 2013. - № 5. - С. 46-52. - Режим доступу: http://nbuv.gov.ua/UJRN/USM_2013_5_9 Показана возможность реализации в рамках алгебры алгоритмов с данными комплексного (от управления и данных) подхода к разработке алгоритмов информационно-управляющих систем. Такой подход может быть использован на любом этапе проектирования и для любой подсистемы, образующей систему. Попередній перегляд: Завантажити - 325.13 Kb Зміст випуску Реферативна БД Цитування
9.	Акуловский В. Г. Реализация средств проектирования и генерации программ на основе алгебры алгоритмов с данными [Електронний ресурс] / В. Г. Акуловский, А. Е. Дорошенко, Е. А. Яценко // Проблеми програмування. - 2015. - № 2. - С. 41-51. - Режим доступу: http://nbuv.gov.ua/UJRN/Progr_2015_2_5 Предложено развитие алгеброалгоритмического инструментария проектирования и синтеза программ для конструирования спецификаций алгоритмов, сочетающих совместное описание данных и потоков управления в алгебре алгоритмов с данными. Применение предложенных алгебраического подхода и инструментария проиллюстрировано на примере разработки программ сортировки. Попередній перегляд: Завантажити - 826.023 Kb Зміст випуску Реферативна БД Цитування
10.	Акуловский В. Г. Формализация взаимосвязей операторов и данных в рамках расширенной алгебры алгоритмов [Електронний ресурс] / В. Г. Акуловский // Кибернетика и системный анализ. - 2008. - Т. 44, № 6. - С. 170-182. - Режим доступу: http://nbuv.gov.ua/UJRN/KSA_2008_44_6_18 Розглянуто систему алгоритмічних алгебр, у якій відомі основні поняття трактуються по-новому з метою формалізації взаємозв'язку операторів алгебри і даних. Побудовано модифікований формальний апарат, у межах якого розширено можливості розробки і перетворення регулярних схем алгоритмів. Попередній перегляд: Завантажити - 109.245 Kb Зміст випуску Реферативна БД Цитування
11.	Акуловский В. Г. Некоторые аспекты преобразования алгоритмов на основе формализации информационных связей [Електронний ресурс] / В. Г. Акуловский // Кибернетика и системный анализ. - 2009. - Т. 45, № 6. - С. 50-54. - Режим доступу: http://nbuv.gov.ua/UJRN/KSA_2009_45_6_7 У межах алгебричного апарату здійснено формалізацію інформаційних зв'язків між операторами, що входять в регулярні схеми, за допомогою яких описано алгоритми. На підставі проведеної формалізації показано можливість специфікації таких зв'язків і доведено можливість перетворення регулярних схем з метою зменшення довжини зв'язків між операторами. Попередній перегляд: Завантажити - 84.193 Kb Зміст випуску Реферативна БД Цитування
12.	Акуловский В. Г. Полнота алгебры алгоритмов с данными [Електронний ресурс] / В. Г. Акуловский, А. Е. Дорошенко, Е. А. Яценко // Проблеми програмування. - 2016. - № 4. - С. 3-13. - Режим доступу: http://nbuv.gov.ua/UJRN/Progr_2016_4_2 Показана полнота алгебры алгоритмов с данными, предназначенной для согласованного проектирования потоков управления и обрабатываемых данных. Рассмотрена также реализуемость разработки алгоритмов от управления и от данных с использованием как восходящей, так и нисходящей стратегий проектирования. Попередній перегляд: Завантажити - 868.356 Kb Зміст випуску Реферативна БД Цитування
13.	Акуловский В. Г. Состав, структура и свойства данных в алгоритмах, описанных с помощью композиционных схем [Електронний ресурс] / В. Г. Акуловский, В. В. Костенко, В. В. Полищук, В. Н. Пономарёв // Системи та технології. - 2016. - № 1. - С. 44–58. - Режим доступу: http://nbuv.gov.ua/UJRN/vamsutn_2016_1_7 Попередній перегляд: Завантажити - 687.364 Kb Зміст випуску Цитування
14.	Акуловский В. Г. Преобразование алгоритмов, записанных в виде композиционных схем [Електронний ресурс] / В. Г. Акуловский, А. Е. Дорошенко // Кибернетика и системный анализ. - 2014. - Т. 50, № 1. - С. 151-159. - Режим доступу: http://nbuv.gov.ua/UJRN/KSA_2014_50_1_15 Рассмотрены свойства данных, специфицируемых в композиционных схемах алгоритмов, в частности свойства данных, образующих информационные связи между Д-операторами, входящими в композиционные схемы. Показана возможность преобразования как композиционных схем, описывающих фрагменты алгоритма, так и всего алгоритма путем перемещения Д-операторов в них. Попередній перегляд: Завантажити - 94.268 Kb Зміст випуску Реферативна БД Цитування

Відділ наукової організації електронних інформаційних ресурсів

Пам`ятка користувача

Пам`ятка користувача

Всі права захищені © Національна бібліотека України імені В. І. Вернадського